On Equational Craig Interpolation
نویسندگان
چکیده
Generalizations of Craig interpolation are investigated for equational logic. Our approach is to do as much as possible at a categorical level, before drawing out the concrete implications.
منابع مشابه
On Equational
Generalizations of Craig interpolation are investigated for equational logic. Our approach is to do as much as possible at a categorical level, before drawing out the concrete implications.
متن کاملUniform interpolation and compact congruences
All seven intermediate logics admitting Craig interpolation also admit uniform interpolation; however, although the modal logic K admits both properties, its extension S4 admits only Craig interpolation and not uniform interpolation (see [1] for details and references). Uniform interpolation for a logic may be viewed as a weaker form of quantifier elimination. This idea is exploited in the mono...
متن کاملAbstract derivations, equational logic and interpolation
derivations, equational logic and interpolation Gerard R. Renardel de Lavalette Department of Mathematics and Computing Science University of Groningen, the Netherlands Abstract. We define abstract derivations for equational logic and use them to prove the interpolation property. We define abstract derivations for equational logic and use them to prove the interpolation property.
متن کاملAbstract Derivations, Equational Logic and Interpolation (extended Abstract)
derivations, equational logic and interpolation (extended abstract) Gerard R. Renardel de Lavalette Department of Mathematics and Computing Science University of Groningen, the Netherlands Abstract. We define abstract derivations for equational logic and use them to prove the interpolation property. We define abstract derivations for equational logic and use them to prove the interpolation prop...
متن کاملInterpolation in equational logic via abstract derivations
We define abstract derivations for equational logic and use them to prove the interpolation property.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 6 شماره
صفحات -
تاریخ انتشار 2000